61. Reliable computer systems: collected papers of the Newcastle Reliability Project
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Reliability-- Addresses, essays, lectures,، Faultolerant computing-- Addresses, essays, lectures,، Computer software-- Reliability-- Addresses, essays, lectures,، Newcastle Reliability project
رده :
QA
76
.
5
.
R4464
1985
62. Resilient Computer System Design
پدیدآورنده : \ Victor Castano , Igor Schagaev
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fault-tolerant computing,محاسبه تحملپذیری خطا,a03,a03,Computer software -- Reliability,Electronic digital computers -- Reliability.,نرمافزار -- اطمینانپذیری ,کامپیوترهای رقمی -- امانتداری
رده :
QA
76
.
9
.
C32R4
2015
E-Book
,
63. Software development for engineers: with C, Pascal, C++, Assembly language, Visual Basic, HTML, JavaScript and Java
پدیدآورنده : Buchanan, William J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Development,، Electronic digital computers-- Programming
رده :
QA
76
.
76
.
D47
.
B82
1997
64. Software engineering : a programming approach
پدیدآورنده : / Doug Bell, Ian Morrey, John Pugh
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Computer software - Development,Electronic digital computers - Programming
رده :
QA76
.
76
.
D47B45
1987
65. Standardized development of computer software
پدیدآورنده : Tausworthe, Robert C
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Electronic digital computers -- Programming,Standards ، Computer software
رده :
QA
76
.
6
.
T39
1977
66. System-On-A-Chip verification :methodology and techniques
پدیدآورنده : Rashinkar, Prakash
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، System design,Design and construction ، Electronic digital computers,Development ، Computer software
رده :
QA
76
.
9
.
S88
R37
2001
67. The specification of computer programs
پدیدآورنده : Turski, Wladyslaw
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Computer software- Development,، Electronic digital computers- Programming
68. computer aided verification
پدیدآورنده : Computer aided verification
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Computer software-verification,electronic digital computers-evaluation
رده :
QA
76
.
76
.
E93
,
C65
1993